1. Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
پدیدآورنده : Wilfried Sieg, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Computable functions
رده :
QA
9
.
59
.
W67
1987
2. Logic and computation: proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computable functions-- Data processing
رده :
QA
9
.
59
.
W67
1987
3. Symbolic computation and education
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer
4. Symbolic computation and education
پدیدآورنده : / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
20
,.
C65
,
I585
,
2006
5. Symbolic-numeric computation
پدیدآورنده : / Dongming Wang, Lihong Zhi, editors
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
.
59
,.
S96
,
2007
